Special Session on Computational Intelligence for Scheduling and Combinatorial Optimization Organisers:  Yi Mei School of Engineering and Computer Science, Victoria University of Wellington, New Zealand Email: yi.mei@

Source URL: www.ies-2016.org

Programming Support for Distributed Optimization and Control in Cyber-Physical Systems Rahul Balani, Lucas F. Wanner† , Jonathan Friedman, Mani B. Srivastava Electrical Engineering, † Computer Science University of C

Source URL: mesl.ucsd.edu

CGL Review MeetingGradient-free optimization with Random Pursuit Sebastian U. Sticha,b , Christian L. M¨ ullera,b , Bernd G¨artnera Institute of Theoretical Computer Science

Source URL: sstich.ch

Eurographics/ ACM SIGGRAPH Symposium on Computer AnimationLadislav Kavan and Chris Wojtan (Editors) Interactive Physically-Based Sound Design of 3D Model using Material Optimization (Appendix)

Source URL: www.yamo-n.org

Journal of Computer-Aided Molecular Design manuscript No. (will be inserted by the editor) Lead Optimization Mapper: Automating free energy calculations for lead optimization Shuai Liu, Yujie Wu, Teng Lin, Robert Abel, J

Source URL: dl.dropboxusercontent.com

RATE-DISTORTION BASED MODE SELECTION FOR VIDEO CODING OVER WIRELESS NETWORKS WITH BURST LOSSES Yiting Liao and Jerry D. Gibson Department of Electrical and Computer Engineering University of California, Santa Barbara, CA

Source URL: vivonets.ece.ucsb.edu

• Video
• Video compression
• Digital media
• Digital television
• Data compression
• Videotelephony
• Noise
• ISO standards
• Video quality
• Peak signal-to-noise ratio
• H.264/MPEG-4 AVC
• Ratedistortion optimization

Buffer Pool Aware Query Optimization Ravishankar Ramamurthy David J. DeWitt Department of Computer Sciences, University of Wisconsin-Madison Madison, USA

Source URL: www-db.cs.wisc.edu

• Data management
• Computing
• Software
• Database management systems
• SQL
• Database theory
• Query optimization
• Join
• Query plan
• Extensible Storage Engine
• Full table scan
• Database index

On Solving Boolean Multilevel Optimization Problems∗ Josep Argelich INESC-ID Lisbon

Source URL: www.mancoosi.org

• Theoretical computer science
• Mathematics
• Computational complexity theory
• Operations research
• Logic in computer science
• Mathematical optimization
• NP-complete problems
• Boolean algebra
• Maximum satisfiability problem
• Boolean satisfiability problem
• Constraint satisfaction
• Solver

Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA

Source URL: peek.uwplse.org

• Computing
• Software engineering
• Software
• Compiler optimizations
• Programming language implementation
• Compiler construction
• Formal methods
• Logic in computer science
• CompCert
• Low-level programming language
• Peephole optimization
• Formal verification

Locality optimization in JavaParty by means of static type analysis Michael Philippsen and Bernhard Haumacher University of Karlsruhe, Germany and Abstract

Source URL: www.haumacher.de

• Computing
• Software engineering
• Computer programming
• Java
• Object-oriented programming languages
• Object-oriented programming
• Concurrent programming languages
• Cross-platform software
• Clone
• This
• Software design pattern
• Method